Tipo de datos algebraico — Saltar a navegación, búsqueda En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los… … Wikipedia Español
Tipo de dato algebraico — En matemáticas discretas es usual introducir definiciones de estructuras recursivas dando los casos de definición y un axioma de clausura indicando que ninguna otra cosa forma parte de lo definido. Por ejemplo, los árboles con información en los… … Wikipedia Español
Tipo de dato — Informático es un atributo de una parte de los datos que indica al ordenador (y/o al programador) algo sobre la clase de datos sobre los que se va a procesar. Esto incluye imponer restricciones en los datos, como qué valores pueden tomar y qué… … Wikipedia Español
GAP (sistema algebraico computacional) — GAP Desarrollador The GAP group www.gap system.org Información general Última versión estable 4.4.12 diciembre de 2008 … Wikipedia Español
Inducción estructural — La inducción estructurada es un método de demostración utilizado en Lógica matemática, teoría de los grafos, Computación y en otras áreas. Se trata de una generalización de la inducción matemática. Dado un conjunto C con un orden parcial bien… … Wikipedia Español
Common Lisp — El Common Lisp, puede ser implementado por medio de JAVA. CLISP comúnmente abreviado como TL, es un dialecto del lenguaje de programación Lisp, publicado en el documento estándar ANSI INCITS 226 1994 (R2004) del ANSI, (antes X3.226 1994… … Wikipedia Español
Lenguaje de programación Miranda — Saltar a navegación, búsqueda Miranda fue desarrollado entre los años 1985 y 1986 por David Turner. Se trata de un lenguaje de programación funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versión… … Wikipedia Español
Miranda (lenguaje de programación) — Miranda fue desarrollado entre los años 1985 y 1986 por David Turner. Se trata de un lenguaje de programación funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versión comercial de un lenguaje… … Wikipedia Español
Compilador — «Compilación» redirige aquí. Para otras acepciones, véase recopilación. Diagrama a bloques de la operación de un buen compilador. Un compilador es un programa informático que traduce un programa escrito en un lenguaje de programación a otro… … Wikipedia Español
Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi … Wikipedia Español
y 
son árboles, y x es un elemento de T, entonces Nodo(